module 0x8675309::M {
    struct S has drop { u: u64 }
    struct R {
        f: u64
    }

    fun t0(x: u64, r: R, s: S) {
        false / true;
        1 / false;
        false / 1;
        @0x0 / @0x1;
        (0: u8) / (1: u128);
        r / r;
        s / s;
        1 / false / @0x0 / 0;
        () / ();
        1 / ();
        (0, 1) / (0, 1, 2);
        (1, 2) / (0, 1);
    }
}
